when batman died